sqrt((7*sqrt(2)/2)^2+(8*sqrt(2)/2)^2)